José Meseguer (eds.): przeszukaj witrynę Z-Library

Swobodny dostęp do wiedzy i kultury.

Don't use scam websites

Książki (32)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 10.15 MB

0 / 0

english, 2008

2

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Springer-Verlag Berlin Heidelberg

Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 6.75 MB

0 / 0

english, 2011

3

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Springer-Verlag Berlin Heidelberg

Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)

Rok:

2014

Język:

english

Plik:

PDF, 12.54 MB

0 / 0

english, 2014

4

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 9.86 MB

0 / 4.0

english, 1999

5

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 5.22 MB

0 / 0

english, 2006

6

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 8.73 MB

0 / 0

english, 2008

7

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 12.00 MB

0 / 0

english, 2004

8

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 24.22 MB

0 / 0

english, 2008

9

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.31 MB

0 / 0

english, 2009

10

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 6.57 MB

0 / 0

english, 2006

11

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 4.40 MB

0 / 0

english, 2004

12

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

Rok:

1999

Język:

english

Plik:

DJVU, 2.64 MB

0 / 0

english, 1999

13

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Farhad Arbab, Peter Csaba Ölveczky (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 9.07 MB

0 / 0

english, 2012

14

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 4.28 MB

0 / 0

english, 2011

15

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 8.02 MB

0 / 0

english, 2006

16

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Rok:

2004

Język:

english

Plik:

DJVU, 9.11 MB

0 / 0

english, 2004

17

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 4.58 MB

0 / 0

english, 2011

18

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 2.25 MB

0 / 0

english, 2000

19

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 23.45 MB

0 / 4.0

english, 2008

20

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Springer International Publishing

Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, (eds.)

Rok:

2019

Język:

english

Plik:

PDF, 11.23 MB

0 / 0

english, 2019

21

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), D. M. Gabbay, F. Guenthner (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 10.14 MB

0 / 0

english, 2002

22

Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 10.29 MB

0 / 0

english, 2000

23

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Rok:

2005

Język:

english

Plik:

PDF, 5.67 MB

0 / 0

english, 2005

24

Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

Rok:

2000

Język:

english

Plik:

DJVU, 3.20 MB

0 / 0

english, 2000

25

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 3.86 MB

0 / 0

english, 2013

26

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 4.34 MB

0 / 0

english, 2002

27

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 5.45 MB

0 / 0

english, 2009

28

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

Rok:

1987

Język:

english

Plik:

DJVU, 3.99 MB

0 / 0

english, 1987

29

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 5.85 MB

0 / 0

english, 2002

30

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Rok:

2005

Język:

english

Plik:

PDF, 5.89 MB

0 / 0

english, 2005

31

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 3.52 MB

0 / 0

english, 2000

32

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.41 MB

0 / 0

english, 2009